Consecutive-underscores.agda:2,6-6
Consecutive-underscores.agda:2,6: a name cannot contain two consecutive underscores
:<ERROR>
 Set
...
